1. Automata for branching and layered temporal structures: <an investigation into regularities of infinite transition systems>
پدیدآورنده : / Gabriele Puppis
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Computer logic,Branching processes,Space and time,Machine theory
رده :
006
.
3
P984A
2010